Add favicon to doc.crates.io

diff --git a/Makefile.in b/Makefile.in
index 378d3633a587a0613c4776b40d834c6e4d70ab2c..f534bc50d29cce11d2f833f9b5c7839bd12808cb 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -131,12 +131,14 @@ DOC_OPTS := --markdown-no-toc \
                --markdown-css stylesheets/normalize.css \
                --markdown-css stylesheets/all.css \
                --markdown-css stylesheets/prism.css \
+               --html-in-header src/doc/html-headers.html \
                --html-before-content src/doc/header.html \
                --html-after-content src/doc/footer.html
 ASSETS := CNAME images/noise.png images/forkme.png images/Cargo-Logo-Small.png \
        stylesheets/all.css stylesheets/normalize.css javascripts/prism.js \
        javascripts/all.js stylesheets/prism.css images/circle-with-i.png \
-       images/search.png images/org-level-acl.png images/auth-level-acl.png
+       images/search.png images/org-level-acl.png images/auth-level-acl.png \
+       favicon.ico
 
 doc: $(foreach doc,$(DOCS),target/doc/$(doc).html) \
        $(foreach asset,$(ASSETS),target/doc/$(asset)) \
@@ -145,7 +147,7 @@ doc: $(foreach doc,$(DOCS),target/doc/$(doc).html) \
 target/doc/cargo/index.html:
        $(CARGO) doc --no-deps
 
-$(DOC_DIR)/%.html: src/doc/%.md src/doc/header.html src/doc/footer.html
+$(DOC_DIR)/%.html: src/doc/%.md src/doc/html-headers.html src/doc/header.html src/doc/footer.html
        @mkdir -p $(@D)
        $(CFG_RUSTDOC) $< -o $(@D) $(DOC_OPTS)
 

diff --git a/src/doc/favicon.ico b/src/doc/favicon.ico
new file mode 100644 (file)
index 0000000..a91ad69
Binary files /dev/null and b/src/doc/favicon.ico differ

diff --git a/src/doc/header.html b/src/doc/header.html
index e00f968a289b294b3bbe3a4ca708041d496e301d..3fad7d2bd48167e497ec250fd077b5774b206837 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -1,5 +1,3 @@
-<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
-
 <a href='https://github.com/rust-lang/cargo' class='fork-me'>
   <img src='images/forkme.png'/>
 </a>

diff --git a/src/doc/html-headers.html b/src/doc/html-headers.html
new file mode 100644 (file)
index 0000000..80ad896
--- /dev/null
+++ b/src/doc/html-headers.html
@@ -0,0 +1,2 @@
+<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
+<link rel="icon" type="image/x-icon" href="favicon.ico">